$\forall$$s$:QOSet, $a$:$\mid$$s$$\mid$. ($a$ $<$$s$ $a$) $\Rightarrow$ False